941. Time Simulation Technologies: Principles, Methodologies, and Applications-Real
Author: / Popovici, Katalin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MECHANICAL& CONTROL SYSTEMS|ENGINEERING, AEROSPACE|ENGINEERING, ELECTRICAL & METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK

942. Tools and Methods for Pollution Prevention
Author: edited by Subhas K. Sikdar, Urmila Diwekar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical engineering.,Environmental management.,Environmental protection.,Environmental sciences.,Environmental toxicology.,Waste disposal.

943. Toward deep neural networks :
Author: Yunong Zhang, Dechao Chen, Chengxu Ye
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
Classification :
QA76
.
87
.
Z47537
2019eb


944. Towards evolvable hardware : the evolutionary engineering approach
Author: Eduardo Sanchez, Marco Tomassini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
1062


945. Transactions on engineering technologies :
Author: Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA5


946. Transport at the air-sea interface :measurements, models and parametrizations
Author: Christoph S. Garbe, Robert A. Handler, Bernd Jعhne, )eds.(
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: Congresses ، Ocean-atmosphere interaction,Congresses ، Ocean-atmosphere interaction - Mathematical models,Congresses ، Ocean-atmosphere interaction - Computer simulation
Classification :
GC
190
.
2
.
I587


947. Turbulence : Theory, Types and Simulation
Author: / Marcuso, Russell J.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
Classification :
E-BOOK

948. Understanding structural engineering
Author: / Wai-Fah Chen, Salah El-Din E. El-Metwally
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Structural engineering.
Classification :
TA633
.
C26
2011


949. Unified methods for VLSI simulation and test generation
Author: Cheng, Kwang- Ting, 1691-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer- aided design,، Integrated circuits- Very large scale integration- Testing,، Integrated circuits- Very large scale integration- Computer simulation
Classification :
TK
7874
.
C525
1989


950. Unifying the Software Process Spectrum
Author: edited by Mingshu Li, Barry Boehm, Leon J. Osterweil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information Systems.,Software engineering.,Software engineering.,Computer Appl. in Administrative Data Processing.,Computers and Society.,Management of Computing and Information Systems.,Programming Techniques.,Software Engineering/Programming and Operating Systems.

951. Unitied methods for VLSI simulation and test generation
Author: / by Kwang - Ting Cheng and Vishwani D. Agrawal,Cheng
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Integrated Circuits -- Very large scale integration -- Design and construction --,Computer - aided design,Integrated Circuits -- Large scale integration -- Testing,Integrated Circuits -- Vey large scale integation -- Computer simulation
Classification :
TK
7874
.
C525
1989


952. Use Cases of Discrete Event Simulation
Author: / Steffen Bangsow
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, THEORY
Classification :
E-BOOK

953. Utilizing information technology systems across disciplines :
Author: Evon M.O. Abu-Taieh, Asim A. El-Sheikh, Jeihan Abu-Tayeh, [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information resources management.,Information technology.,Management information systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information resources management.,Information technology.,Management information systems.
Classification :
T58
.
5
.
U88
2009eb


954. VHDL for simulation, synthesis, and formal proofs of hardware
Author: / edited by Jean Mermet
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: VHDL (Computer hardware description language)
Classification :
TK
7885
.
7
.
V48
1992


955. VLSI - Compatible Implementations for Artificial Neural Networks
Author: by Sied Mehdi Fakhraie, Kenneth Carless Smith.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Systems engineering.

956. VR, simulations and serious games for education /
Author: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
Classification :
LB1044
.
87


957. Value-based learning healthcare systems :
Author: Bernard P. Zeigler, Mamadou K. Traore, Grégory Zacharewicz, Raphaël Duboz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Medical care-- Computer simulation.,Public health-- Mathematical models.,health care.,medical computing.,POLITICAL SCIENCE-- Public Policy-- Social Security.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.,Public health-- Mathematical models.
Classification :
R859
.
7
.
C65
Z44
2018eb


958. Verification and Validation of Real-Time Software
Author: edited by William J. Quirk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
54
E358
1985


959. Verification and validation in systems engineering
Author: / Mourad Debbabi ... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Systems engineering,Expert systems (Computer science) -- Verification,Expert systems (Computer science) -- Validation,UML (Computer science),SysML (Computer science)
Classification :
QA
76
.
76
.
E95
V47
2010


960. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb

